Comments on "Formal Methods Application: An Empirical Tale of Software Development"
نویسندگان
چکیده
We comment on the experimental design and the result of the paper mentioned in the title. Our purpose is to show interested readers examples of what can go wrong with experiments in software research and how to avoid the
منابع مشابه
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.
متن کاملFormal Methods Application: An Empirical Tale of Software Development
ÐThe development of an elevator scheduling system by undergraduate students is presented. The development was performed by 20 teams of undergraduate students, divided into two groups. One group produced specifications by employing a formal method that involves only first-order logic. The other group used no formal analysis. The solutions of the groups are compared using the metrics of code corr...
متن کاملAn Architectural Tale of the Two Cities
A comparative study of the corresponding styles of Western and Iranian modern architecture has hardly ever been carried out in detail. This paper aims to sketch out an outline for such an investigation and to present a summary of empirical evidence accompanied by field observations to elaborate the ongoing trend of relationship between architectural styles in Iran and that of the West. This is ...
متن کاملA Generic System Architecture for Strategy-based Software Development
We present a formalism independent approach to the design of tools supporting the application of formal methods in software development. It consists of a concept to represent problem solving knowledge, called strategies, and a generic architecture showing how to implement tools for strategy-based development. A prototype system for program synthesis called IOSS is described in some detail. It d...
متن کاملProgramming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Software Eng.
دوره 29 شماره
صفحات -
تاریخ انتشار 2003